VDict mobile



parallel outermost reduction not found. Suggestions:

parallel reduction
reduction
reduction strategy
Computational Adequacy Theorem
Compiler Target Language
normal order reduction
call-by-name
applicative order reduction
string reduction
Parallel Pascal